34 ideas
10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
10761 | Completeness can always be achieved by cunning model-design [Rossberg] |
10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
21382 | Things get smaller without end [Anaxagoras] |
481 | Nothing is created or destroyed; there is only mixing and separation [Anaxagoras] |
21822 | Anaxagoras's concept of supreme Mind has a simple First and a multiple One [Anaxagoras, by Plotinus] |
17995 | Basic is the potentially perceptible, then comes the contrary qualities, and finally the 'elements' [Anaxagoras] |
20802 | Snow is not white, and doesn't even appear white, because it is made of black water [Anaxagoras, by Cicero] |
13257 | The senses are too feeble to determine the truth [Anaxagoras] |
22761 | We reveal unreliability in the senses when we cannot discriminate a slow change of colour [Anaxagoras, by Sext.Empiricus] |
2667 | A false object might give the same presentation as a true one [Arcesilaus, by Cicero] |
13256 | Nous is unlimited, self-ruling and pure; it is the finest thing, with great discernment and strength [Anaxagoras] |
13784 | Mind is self-ruling, pure, ordering and ubiquitous [Anaxagoras, by Plato] |
5118 | Anaxagoras says mind remains pure, and so is not affected by what it changes [Anaxagoras, by Aristotle] |
18231 | Anaxagoras said a person would choose to be born to contemplate the ordered heavens [Anaxagoras] |
631 | For Anaxagoras the Good Mind has no opposite, and causes all movement, for a higher reason [Anaxagoras, by Aristotle] |
22727 | Mind creates the world from a mixture of pure substances [Anaxagoras, by ] |
550 | Anaxagoras said that the number of principles was infinite [Anaxagoras, by Aristotle] |
21383 | The ultimate constituents of reality are the homoeomeries [Anaxagoras, by Vlastos] |
13208 | Anaxagoreans regard the homoeomeries as elements, which compose earth, air, fire and water [Anaxagoras, by Aristotle] |
367 | Anaxagoras says mind produces order and causes everything [Anaxagoras, by Plato] |
21381 | Germs contain microscopic organs, which become visible as they grow [Anaxagoras] |
22726 | When things were unified, Mind set them in order [Anaxagoras] |
2629 | Anaxagoras was the first to say that the universe is directed by an intelligence [Anaxagoras, by Cicero] |
480 | Past, present and future, and the movements of the heavens, were arranged by Mind [Anaxagoras] |
7488 | Anaxagoras was the first recorded atheist [Anaxagoras, by Watson] |
5956 | Anaxagoras was charged with impiety for calling the sun a lump of stone [Anaxagoras, by Plutarch] |